Behavioral Modeling of Software Intensive System Architectures
نویسندگان
چکیده
منابع مشابه
Behavioral Modeling of Software Intensive System Architectures
Architectural modeling and analysis are mechanisms that allow the capture of design decisions early in the process, so that they can be assessed and modified without incurring the costs of incorrect implementations. This paper addresses Monterey Phoenix (MP), a behavioral model for system and software architecture specification based on event traces, which supports architecture composition oper...
متن کاملBehavioral Refinement of Software Architectures
Formal methods are mathematical techniques which aim at introducing sound engineering principles into software development. Especially in early development phases, where the overall structure of a software system — also called its software architecture — is designed, formal methods help to avoid errors. Therefore, a lot of formal methods based research has been and still is undertaken in the fi...
متن کاملDelta Modeling for Software Architectures
Architectural modeling is an integral part of modern software development. In particular, diverse systems benefit from precise architectural models since similar components can often be reused between different system variants. However, during all phases of diverse system development, system variability has to be considered and modeled by appropriate means. Delta modeling is a language-independ...
متن کاملAdaptable system/software architectures
36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 CO RR E Adaptability is emerging as an important type of non-functional requirement (NFR) for just about any system, including information systems, embedded systems, e-business systems, and the like. Briefly stated, adaptability is the ability of a system to accommodate changes in its environment. Since all s...
متن کاملSimulation Modeling of UML Software Architectures
Quantitative analysis of software systems is being recognized as an important issue in the software development process. Performance analysis can help to address quantitative system analysis from the early stages of the software development life cycle, e.g., to compare design alternatives or to identify system bottlenecks. Modeling software systems by simulation allows the analyst to represent ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2013
ISSN: 1877-0509
DOI: 10.1016/j.procs.2013.09.272